161. Formal modeling and analysis of timed systems :
پدیدآورنده: David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
162. Foundations of Programming Languages /
پدیدآورنده: by Kent D. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)
رده :
QA76
.
76
.
C65
163. Foundations of programming languages /
پدیدآورنده: Kent D. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers)
رده :
QA76
.
7
164. Foundations of software science and computation structures :
پدیدآورنده: Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
165. Full-text (substring) indexes in external memory /
پدیدآورنده: Marina Barsky, Ulrike Stege, Alex Thomo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms,Data structures (Computer science),Magnetic memory (Computers),Text processing (Computer science)
رده :
QA76
.
9
.
T48
B37
2012
166. Fundamental structures of computer science
پدیدآورنده: Wm. A. Wulf ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Data structures )Computer science(
رده :
QA
76
.
6
.
F86
167. Fundamental structures of computer science
پدیدآورنده: William A. Wulf ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Electronic digital computers - programming,، Data structures )computer science(
رده :
QA
76
.
7
.
F86
168. Fundamental structures of computer science
پدیدآورنده: / Wm. A. Wulf ... (et al.)
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming,Data structures (Computer science)
رده :
QA
76
.
7
.
F86
169. Fundamental structures of computer sience
پدیدآورنده: Wm. A. Wulf... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Data structures )Computer science(
رده :
QA
76
.
6
.
F86
170. Fundamentals of Python :
پدیدآورنده: Kenneth A. Lambert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Python (Computer program language),Data structures (Computer science),Object-oriented programming (Computer science),Python (Computer program language)
رده :
QA76
.
73
.
P98
L353
2019
171. Fundamentals of computing
پدیدآورنده: / Allen B. Tucker ... (et al.)
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Electronic data processing
رده :
QA
76
.
F815
1992
172. Fundamentals of computing
پدیدآورنده: Allen B. Tucker...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Electronic data processing
رده :
QA
76
.
F815
1993
173. Fundamentals of computing
پدیدآورنده: / Allen B. Tucker ... [et al.]
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic data processing
رده :
QA
76
.
F815
1992
174. Fundamentals of computing II : abstraction, data structures, and large software systems
پدیدآورنده: Allen B. Tucker ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic data processing , Computers , Computer science
رده :
QA
76
.
6
.
F865
1995
175. Genetic programming :
پدیدآورنده: Mauro Castelli, Lukas Sekanina, Mengjie Zhang, Stefano Cagnoni, Pablo García-Sánchez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Genetic programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Data mining.,Genetic programming (Computer science)
رده :
QA76
.
623
176. Graph data model and its data language
پدیدآورنده: / Hideko S. Kunii
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Data base management,Data structures (Computer science),Programming languages (Electronic computers)
رده :
QA76
.
9
.
D3K86
1990
177. Graph structures for knowledge representation and reasoning :
پدیدآورنده: Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Knowledge representation (Information theory), Congresses.,Artificial intelligence.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- System Administration-- Storage & Retrieval.,Data structures (Computer science),Information retrieval.,Knowledge representation (Information theory),Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Network hardware.
رده :
Q387
178. Graph-theoretic concepts in computer science :
پدیدآورنده: Andreas Brandstädt, Ekkehard Köhler, Klaus Meer (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Arithmetic and Logic Structures.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Algorithms & data structures.,Computer science-- Mathematics.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Graph theory-- Data processing.,Graphics programming.
رده :
QA166
179. Graphs in biomedical image analysis and integrating medical imaging and non-imaging modalities :
پدیدآورنده: Danail Stoyanov, Zeike Taylor, Enzo Ferrante, Adrian V. Dalca et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Diagnostic imaging-- Digital techniques, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Digital techniques.,Image processing.,Mathematical theory of computation.
رده :
RC78
.
7
.
D53
180. Grid computing in life sciences :
پدیدآورنده: editors, Tan Tin Wee, Peter Arzberger, Akihiko Konagaya.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational grids (Computer systems), Congresses.,Life sciences-- Data processing, Congresses.,Computational grids (Computer systems),COMPUTERS-- Client-Server Computing.,Life sciences-- Data processing.
رده :
QA76
.
9
.
C58
G753
2005eb
